Boole's syllogistic